Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic
نویسندگان
چکیده
This paper presents a parameterized reasoning approach with uncertainty based on a lattice-valued logic system. In this uncertain reasoning approach, some parameters are used to represent uncertainty arising from different sources, which is a common phenomenon in rule-based systems. In our system, reasoning with different parameter values means reasoning with different levels of belief and consistency. Some methods are presented for selecting appropriate parameter values during the uncertain reasoning process which allow us to find suitable parameter values to meet the diverse practical and theoretical requirements.
منابع مشابه
TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
In this paper, at first we define the concepts of response function and accessible states of a complete residuated lattice-valued (for simplicity we write $mathcal{L}$-valued) tree automaton with a threshold $c.$ Then, related to these concepts, we prove some lemmas and theorems that are applied in considering some decision problems such as finiteness-value and emptiness-value of recognizable t...
متن کاملLinguistic-Valued Approximate Reasoning With Lattice Ordered Linguistic-Valued Credibility
Linguistic terms are often used to represent the truth degree or credibility degree to manage the uncertainty or imprecision as one of popular ways of knowledge representation in the perception-based decision making problem. This present work represents the credibility of uncertain knowledge using linguistic values. The linguistic-valued credibility is then modeled based on a lattice ordered lo...
متن کاملDetermination of α -Resolution for Lattice-Valued First-Order Logic Based on Lattice Implication Algebra
As a continuation of our research work on resolutionbased automated reasoning approaches for latticevalued logic systems with truth-values in a latticevalued logical algebraic structure – lattice implication algebra (LIA), in the present paper, we prove thatα resolution for lattice-valued first-order logic ( ) LF X based on LIA can be equivalently transformed into that for lattice-valued propos...
متن کاملInterval based Uncertain Reasoning using Fuzzy and Rough Sets
This paper examines two interval based uncertain reasoning methods, one is based on interval fuzzy sets, and the other is based on rough sets. The notion of interval triangular norms is introduced. Basic issues on the use of t-norms for approximate reasoning with interval fuzzy sets are addressed. Inference rules are given for using both numeric intervals and lattice based intervals. The theory...
متن کاملUncertainty Reasoning based on Gradational Lattice-Valued First-Order Logic Lvfl
The current paper discusses the uncertainty reasoning method based on gradational lattice-valued firstorder logic Lvfl. For some representative uncertainty reasoning models, some concrete methods for selecting appropriate parameters during the uncertainty reasoning process based on lattice-valued first-order logic Lvfl are proposed. Emphasis is placed on the research of the consistent of L-type...
متن کامل